Using Interaction and Visualisation for Teaching Deductive Reasoning
نویسنده
چکیده
In this paper we discuss how computers can be deployed to support teaching deductive reasoning at university level. These considerations led to the development of the interactive theorem proving assistant and learning environment WinKE. We start out by describing common difficulties in teaching logic and deductive reasoning and thereby justify the need for computer support in that field. We identify interaction (with a formal system) and visualisation (of abstract concepts) as two important components in a helpful pedagogical tool for teaching deductive reasoning. Thereafter the WinKE software, which deploys the logical calculus KE, is described. Important features include a comfortable graphical user interface, various levels of user support, automated deduction, visualisation of counter models, editing problem files, and many more. We conclude with a short discussion of related work, comparing WinKE with some other tools for similar tasks.
منابع مشابه
Interaction of reasoning ability and training intervention in reaction to training evaluation and post training effectiveness.
It has been shown that learners' abilities interact with the type of training intervention and effect on training and its outcomes. For this reason, the current research investigated the interaction of reasoning ability with two training methods, namely deductive and empirical methods, in effect on reaction to training evaluation and post training effectiveness. This research was an applied an...
متن کاملInteraction of reasoning ability and training intervention in reaction to training evaluation and post training effectiveness.
It has been shown that learners' abilities interact with the type of training intervention and effect on training and its outcomes. For this reason, the current research investigated the interaction of reasoning ability with two training methods, namely deductive and empirical methods, in effect on reaction to training evaluation and post training effectiveness. This research was an applied an...
متن کاملVisualisation, Imagery and the Development of Geometrical Reasoning
This report focuses on some aspects of the nature and role of visualisation and imagery in the teaching and learning of mathematics, particularly as a component in the development of geometrical reasoning. Issues briefly addressed include the relationship between imagery and perception, imagery and memory, the nature of dynamic images, and the interaction between imagery and concept development...
متن کاملThe role of the teacher in teaching proof and proving in geometry
It remains the case the the geometry component of the school mathematics curriculum is viewed as providing key opportunities for teachers to develop learners’ capacity for deductive reasoning and proving (as well as their spatial and visualisation capabilities). Nevertheless international research consistently shows that teaching the key ideas of proof and proving to all students is not an easy...
متن کاملFirst International Congress on Tools for teching Logic The Interactive Learning Environment WinKE for Teaching Deductive Reasoning
WinKE is an interactive proof assistant based on the KE calculus, a refutation system which combines features from Smullyan’s analytic tableaux and Gentzen’s natural deduction. The software has been developed to support teaching logic and deductive reasoning at university level. In the sequel we brie‡y introduce the proof system KE and give an overview of the main features of the software tool.
متن کامل